Tools and Algorithms for the Construction and Analysis of Systems

Språk
Engelska
Förlag År Ort Om boken ISBN
Springer Berlin Heidelberg 1995 Utgivningsland okänt / Ej specificerat